Instance Verification Kit (IVK)
mutex lock @ [3818+44+/linux-3.19-rc1/drivers/media/usb/ttusb-budget/dvb-ttusb-budget.c]
Instance Signature: semusb
The Matching Pair Graph:
Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
ttusb_boot_dsp
[6724+14+/linux-3.19-rc1/drivers/media/usb/ttusb-budget/dvb-ttusb-budget.c]
ttusb_cmd
[3553+9+/linux-3.19-rc1/drivers/media/usb/ttusb-budget/dvb-ttusb-budget.c]
ttusb_i2c_msg
[4945+13+/linux-3.19-rc1/drivers/media/usb/ttusb-budget/dvb-ttusb-budget.c]
ttusb_init_controller
[8979+21+/linux-3.19-rc1/drivers/media/usb/ttusb-budget/dvb-ttusb-budget.c]
ttusb_result
[4793+12+/linux-3.19-rc1/drivers/media/usb/ttusb-budget/dvb-ttusb-budget.c]